Workshop: Arithmetic intersection theory and Shimura varieties